Aqme'10
نویسندگان
چکیده
In this paper we describe aqme’10, the version of the Adaptive QBF Multi-Engine submitted to QBFEVAL’10.
منابع مشابه
AQME’10 System Description
In this paper we describe aqme’10, the version of the Adaptive QBF Multi-Engine submitted to QBFEVAL’10.
متن کاملABACUS and AQME: Semiconducor Device and Quantum Mechanics Education on nanoHUB.org
The ABACUS and AQME on-line tools and their associated wiki pages form one-stop shops for educators and students of existing university courses. They are geared towards courses like “introduction to Semiconductor Devices” and “Quantum Mechanics for Engineers”. The service is free to anyone and no software installation is required on the user’s computer. All simulations, including advanced visua...
متن کاملMinimal Module Extraction from DL-Lite Ontologies Using QBF Solvers
We present a formal framework for (minimal) module extraction based on an abstract notion of inseparability w.r.t. a signature between ontologies. Two instances of this framework are discussed in detail for DL-Lite ontologies: concept inseparability, when ontologies imply the same complex concept inclusions over the signature, and query inseparability, when they give the same answers to existen...
متن کاملTool-Based Curricula and Visual Learning
In the last twenty years nanotechnology has revolutionized the world of information theory, computers and other important disciplines, such as medicine, where it has contributed significantly in the creation of more sophisticated diagnostic tools. Therefore, it is important for people working in nanotechnology to better understand basic concepts to be more creative and productive. To further fo...
متن کاملLogic-based ontology comparison and module extraction, with an application to DL-Lite
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of ‘lightweight’ description logics designed for data-intensive applications. The main feature of our approach is that we take into account the vocabulary (= signature) with respect to which one wants to compare ontologies. Five variants of difference...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- JSAT
دوره 7 شماره
صفحات -
تاریخ انتشار 2010